Fundamenta Informaticae

Results: 47



#Item
21

FUNDAMENTA INFORMATICAE Guest Editors: Prof. Chris Cornelis University of Granada Dept. of Computer Science and AI

Add to Reading List

Source URL: www.iospress.nl

Language: English - Date: 2014-10-13 05:28:42
    22

    Fundamenta Informaticae–20 DOIFIIOS Press Proving Theorems by Program Transformation Fabio Fioravanti∗

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2013-07-29 05:17:44
      23

      Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

      Add to Reading List

      Source URL: www.iasi.cnr.it

      Language: English - Date: 2013-01-21 11:15:22
        24

        Fundamenta Informaticae–355 DOIFIIOS Press A Rule-based Verification Strategy for Array Manipulating Programs

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2015-08-07 07:41:57
          25

          1 Fundamenta Informaticae 1–16 IOS Press Quantum testers for hidden group properties

          Add to Reading List

          Source URL: www.liafa.univ-paris-diderot.fr

          Language: English - Date: 2010-12-13 11:02:51
            26

            Fundamenta Informaticae–355 DOIFIIOS Press A Rule-based Verification Strategy for Array Manipulating Programs

            Add to Reading List

            Source URL: www.sci.unich.it

            Language: English - Date: 2015-08-07 07:41:57
              27

              Fundamenta Informaticae ??? (–19 1 IOS Press

              Add to Reading List

              Source URL: www.sci.unich.it

              Language: English - Date: 2013-07-17 03:24:20
                28

                Fundamenta Informaticae 1–24 IOS Press Modelling of Complex Systems: Systems as dataflow machines Simon Bliudze∗ ´

                Add to Reading List

                Source URL: www.bliudze.me

                Language: English - Date: 2008-11-21 05:28:33
                  29

                  Fundamenta Informaticae ??? (–19 1 IOS Press

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2013-07-17 03:24:20
                    30

                    337 Fundamenta Informaticae–366 DOIFIIOS Press

                    Add to Reading List

                    Source URL: swift-lang.org

                    Language: English - Date: 2015-05-08 12:10:06
                      UPDATE